Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Quizás quisiste decir: secuencial proof
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
ISBN 978-0-07-146051-4. Gurevich, Yuri (2000). «Sequential Abstract State Machines capture Sequential Algorithms». ACM Transactions on Computational Logic…41 kB (4663 palabras) - 16:55 17 abr 2024
